# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/HUGE3/;
$external_labels{$key} = "$URL/" . q|node62_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/Huge2/;
$external_labels{$key} = "$URL/" . q|node61_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/LARGE3/;
$external_labels{$key} = "$URL/" . q|node72_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/LaTeX/;
$external_labels{$key} = "$URL/" . q|node73_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/Large2/;
$external_labels{$key} = "$URL/" . q|node71_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/TeX/;
$external_labels{$key} = "$URL/" . q|node106_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/abstract/;
$external_labels{$key} = "$URL/" . q|node14_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/addcontentsline/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/author/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/backslash/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/bf/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/bibitem/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/bibliography/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/bibliographystyle/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/boxit/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/caption/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cdots/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/center/;
$external_labels{$key} = "$URL/" . q|node26_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/centerline/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cextract/;
$external_labels{$key} = "$URL/" . q|node27_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/chapter/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/chaptersX/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cinsert/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite/;
$external_labels{$key} = "$URL/" . q|node31_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/class/;
$external_labels{$key} = "$URL/" . q|node32_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/clipsfunc/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/comment/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/copyright/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cparam/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/date/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/description/;
$external_labels{$key} = "$URL/" . q|node38_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/document/;
$external_labels{$key} = "$URL/" . q|node40_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/documentstyle/;
$external_labels{$key} = "$URL/" . q|node39_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/em/;
$external_labels{$key} = "$URL/" . q|node41_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/enumerate/;
$external_labels{$key} = "$URL/" . q|node42_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/errors/;
$external_labels{$key} = "$URL/" . q|node115_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/fbox/;
$external_labels{$key} = "$URL/" . q|node43_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/figure/;
$external_labels{$key} = "$URL/" . q|node44_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/flushleft/;
$external_labels{$key} = "$URL/" . q|node45_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/flushright/;
$external_labels{$key} = "$URL/" . q|node46_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/footnote/;
$external_labels{$key} = "$URL/" . q|node47_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/framebox/;
$external_labels{$key} = "$URL/" . q|node48_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/func/;
$external_labels{$key} = "$URL/" . q|node50_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/functionsection/;
$external_labels{$key} = "$URL/" . q|node49_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/helpfontfamily/;
$external_labels{$key} = "$URL/" . q|node54_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/helpfontsize/;
$external_labels{$key} = "$URL/" . q|node55_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/helpignore/;
$external_labels{$key} = "$URL/" . q|node51_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/helpinput/;
$external_labels{$key} = "$URL/" . q|node53_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/helponly/;
$external_labels{$key} = "$URL/" . q|node52_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/helpref/;
$external_labels{$key} = "$URL/" . q|node56_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/helprefX/;
$external_labels{$key} = "$URL/" . q|node57_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/hline/;
$external_labels{$key} = "$URL/" . q|node58_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/hrule/;
$external_labels{$key} = "$URL/" . q|node59_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/huge1/;
$external_labels{$key} = "$URL/" . q|node60_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/image/;
$external_labels{$key} = "$URL/" . q|node67_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/include/;
$external_labels{$key} = "$URL/" . q|node63_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/input/;
$external_labels{$key} = "$URL/" . q|node64_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/it/;
$external_labels{$key} = "$URL/" . q|node68_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/item/;
$external_labels{$key} = "$URL/" . q|node66_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/itemize/;
$external_labels{$key} = "$URL/" . q|node65_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/label/;
$external_labels{$key} = "$URL/" . q|node69_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/large1/;
$external_labels{$key} = "$URL/" . q|node70_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/ldots/;
$external_labels{$key} = "$URL/" . q|node74_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/macronotfound/;
$external_labels{$key} = "$URL/" . q|node117_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/maketitle/;
$external_labels{$key} = "$URL/" . q|node75_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/mbox/;
$external_labels{$key} = "$URL/" . q|node76_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/member/;
$external_labels{$key} = "$URL/" . q|node78_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/membersection/;
$external_labels{$key} = "$URL/" . q|node77_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/newcommand/;
$external_labels{$key} = "$URL/" . q|node79_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/newpage/;
$external_labels{$key} = "$URL/" . q|node80_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/nocite/;
$external_labels{$key} = "$URL/" . q|node81_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/noindent/;
$external_labels{$key} = "$URL/" . q|node82_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/normalsize/;
$external_labels{$key} = "$URL/" . q|node83_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/par/;
$external_labels{$key} = "$URL/" . q|node87_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/param/;
$external_labels{$key} = "$URL/" . q|node84_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/parindent/;
$external_labels{$key} = "$URL/" . q|node85_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/parskip/;
$external_labels{$key} = "$URL/" . q|node86_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/psboxto/;
$external_labels{$key} = "$URL/" . q|node88_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/quotation/;
$external_labels{$key} = "$URL/" . q|node90_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/quote/;
$external_labels{$key} = "$URL/" . q|node89_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/ref/;
$external_labels{$key} = "$URL/" . q|node91_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/rm/;
$external_labels{$key} = "$URL/" . q|node92_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/rtfsp/;
$external_labels{$key} = "$URL/" . q|node93_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sc/;
$external_labels{$key} = "$URL/" . q|node94_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/section/;
$external_labels{$key} = "$URL/" . q|node96_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sectionX/;
$external_labels{$key} = "$URL/" . q|node95_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/shortcite/;
$external_labels{$key} = "$URL/" . q|node97_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/small/;
$external_labels{$key} = "$URL/" . q|node98_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/space/;
$external_labels{$key} = "$URL/" . q|node8_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/subsection/;
$external_labels{$key} = "$URL/" . q|node100_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/subsectionX/;
$external_labels{$key} = "$URL/" . q|node99_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/subsubsection/;
$external_labels{$key} = "$URL/" . q|node102_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/subsubsectionX/;
$external_labels{$key} = "$URL/" . q|node101_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/tabbing/;
$external_labels{$key} = "$URL/" . q|node103_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/tableofcontents/;
$external_labels{$key} = "$URL/" . q|node104_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/tabular/;
$external_labels{$key} = "$URL/" . q|node105_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/tiny/;
$external_labels{$key} = "$URL/" . q|node108_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/title/;
$external_labels{$key} = "$URL/" . q|node107_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/today/;
$external_labels{$key} = "$URL/" . q|node109_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/tt/;
$external_labels{$key} = "$URL/" . q|node110_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/typeout/;
$external_labels{$key} = "$URL/" . q|node111_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/underline/;
$external_labels{$key} = "$URL/" . q|node112_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/verbatim/;
$external_labels{$key} = "$URL/" . q|node114_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/verbatiminput/;
$external_labels{$key} = "$URL/" . q|node113_ct.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


1;

